generated split tree for append
split at 3
|
+- ForcedConstructorPattern.Vec.nil -> done, 3 bindings
|
'- ForcedConstructorPattern.Vec.cons -> lazy split at 1
   |
   '- Agda.Builtin.Nat.Nat.suc -> done, 6 bindings

generated split tree for test
split at 1
|
'- ForcedConstructorPattern._×_.pair -> split at 3
   |
   '- Agda.Builtin.Equality._≡_.refl -> done, 2 bindings

